Bug 704216: Fix prototype for gdk_quartz_device_core_warp.

diff --git a/gdk/quartz/gdkdevice-core-quartz.c b/gdk/quartz/gdkdevice-core-quartz.c
index b28662096d99bd6755482947fc9360f9a7f862a0..6fc17aa7d1bcac3101f9ac04a9925eef07e84eeb 100644 (file)
--- a/gdk/quartz/gdkdevice-core-quartz.c
+++ b/gdk/quartz/gdkdevice-core-quartz.c
@@ -52,8 +52,8 @@ static void gdk_quartz_device_core_set_window_cursor (GdkDevice *device,
                                                       GdkCursor *cursor);
 static void gdk_quartz_device_core_warp (GdkDevice *device,
                                          GdkScreen *screen,
-                                         gint       x,
-                                         gint       y);
+                                         gdouble    x,
+                                         gdouble    y);
 static void gdk_quartz_device_core_query_state (GdkDevice        *device,
                                                 GdkWindow        *window,
                                                 GdkWindow       **root_window,